<?hh 

function prepend() {
  echo "prepend\n";
}
